Ident. | Authors (with country if any) | Title |
---|
000098 |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Validation of Formal Specifications through Transformation and Animation |
000109 |
Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
000658 |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Observation-Level-Driven Formal Modeling |
000866 |
Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg | DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation. |
000949 |
Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche] | An investigation of likelihood normalization for robust ASR |
000962 |
Thanh Phuong Nguyen [France] ; Antoine Manzanera [France] ; Walter G. Kropatsch [Autriche] | Impact of topology-related attributes from Local Binary Patterns on texture classification |
000B03 |
Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche] | Mining Event Logs to Assist the Development of Executable Process Variants |
000E03 |
Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [France, Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron | Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium |
001201 |
Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche] | Formal Verification of Distributed Algorithms |
001360 |
Guillaume Melquiond [France] ; W. Georg Nowak [Autriche] ; Paul Zimmermann [France] | Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819... |
001457 |
Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France] | Understanding Resolution Proofs through Herbrand’s Theorem |
001471 |
Cynthia Kop [Autriche] ; Naoki Nishida [Japon] | Term Rewriting with Logical Constraints |
001483 |
Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche] | Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures |
001506 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Realizing Elastic Processes with ViePEP |
001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001566 |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Introducing the Vienna Platform for Elastic Processes |
001574 |
Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche] | Hypersequent and Labelled Calculi for Intermediate Logics |
001617 |
Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche] | Compression of Propositional Resolution Proofs by Lowering Subproofs |
001797 |
Fdhila Walid [Autriche] ; Rinderle-Ma Stefanie [Autriche] ; Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | On Evolving Partitioned Web Service Orchestrations |
001845 |
Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche] | Human-Centric Process-Aware Information Systems (HC-PAIS) |
001E16 |
Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
002434 |
Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore Zahariadis | Future Media Internet Architecture Reference Model (v1.0) |
002538 |
Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche] | A caching technique for optimizing automated service discovery |
002609 |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
002776 |
Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche] | AC Completion with Termination Tools |
002B73 |
Tsvetan Dunchev [Autriche] ; Alexander Leitsch [Autriche] ; Tomer Libal [Autriche] ; Daniel Weller [Autriche] ; Bruno Woltzenlogel Paleo [France] | System Description: The Proof Transformation System CERES |
003030 |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
003047 |
Martin Avanzini [Autriche] | POP* and Semantic Labeling Using SAT |
003110 |
Guillaume Bonfante [France] ; Georg Moser [Autriche] | Characterising Space Complexity Classes via Knuth-Bendix Orders |
003112 |
Andreas Schnabl [Autriche] | Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems |
003118 |
Bruno Woltzenlogel Paleo [Autriche, France] | Atomic Cut Introduction by Resolution: Proof Structuring and Compression |
003982 |
Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche] | Comparing State Spaces in Automatic Security Protocol Analysis |
003987 |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
003A33 |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
004398 |
P. Wild [France] ; K. Leodolter [Autriche] ; M. Réfrégier [France] ; H. Schmidt [Autriche] ; E. Bourgkard [France] | Effects of talc dust on respiratory health: results of a longitudinal survey of 378 French and Austrian talc workers |
004409 |
Nao Hirokawa [Japon] ; Georg Moser [Autriche] | Complexity, Graphs, and the Dependency Pair Method |
004B68 |
Nachum Dershowitz [Israël] ; Georg Moser [Autriche] | The Hydra Battle Revisited |
004B72 |
A. Kandelbauer [Autriche] ; A. Despres [France] ; A. Pizzi [France] ; I. Taudes [Autriche] | Testing by fourier transform infrared species variation during melamine–urea–formaldehyde resin preparation |
004B84 |
Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche] | Sequence Disunification and Its Application in Collaborative Schema Construction |
004C18 |
Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche] | Noncompaction in Melnick Fraser Syndrome |
005356 |
Johann Eder [Autriche] ; Wolfgang Gruber ; Horst Pichler | Transforming Workflow Graphs |
005360 |
Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche] | Towards Using UML 2 for Modelling Web Service Collaboration Protocols |
005460 |
Harald Kühn [Autriche] ; Marion Murzek [Autriche] | Interoperability Issues in Metamodelling Platforms |
005461 |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
006B22 |
Stephan Schulz [Autriche, Allemagne] | System Description: E 0.81 |
006B33 |
Georg Gottlob [Autriche] | Second-Order Logic over Finite Structures – Report on a Research Programme |
006C07 |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
007960 |
Karim Baïna [France] ; Schahram Dustdar [Autriche] | Web-Services Coordination Model |
007A26 |
Birgit Stehno [Autriche] ; Gregor Retti [Autriche] | Modelling the logical structure of books and journals using augmented transition network grammars |
007A58 |
Andreas Holzinger [Autriche] | Finger Instead of Mouse: Touch Screens as a Means of Enhancing Universal Access |
007A75 |
Chris Stary [Autriche] | Designing User Interfaces for a Variety of Users: Possible Contributions from Model-Based Development Schemes |
007A96 |
Maria A. Wimmer [Autriche] ; Ute Holler [Autriche] | Applying a Holistic Approach to Develop User-Friendly, Customer-Oriented E-government Portal Interfaces |
009185 |
Bernhard Gramlich [Autriche] | On interreduction of semi-complete term rewriting systems |
009254 |
Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche] | Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models |
009439 |
Olivia Karel [Autriche] | On retaining ambiguity in disambiguated corpora: Programmatic reflections on why's and how's |
009F04 |
Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
00AA01 |
Martin Be Ka [Slovaquie] ; Sophie Robert [France] ; Marian Vajteršic [Autriche, Slovaquie] | Experiments with Parallel One - Sided and Two - Sided Algorithms for SVD |
00AA68 |
K. Stokkermans [Autriche] | A Categorical Critical-pair Completion Algorithm |
00AA98 |
M. Becka [Slovaquie] ; S. Robert [France] ; M. Vajtersic [Slovaquie, Autriche] | Experiments with parallel one-sided and two-sided algorithms for SVD |
00B315 |
Hoon Hong [États-Unis] ; Dalibor Jakuš [Autriche] | Testing Positiveness of Polynomials |
00B336 |
Miki Hermann [France] ; Gernot Salzer [Autriche] | On the word, subsumption, and complement problem for recurrent term schematizations |
00B384 |
H. Hong [Autriche] | Bounds for Absolute Positiveness of Multivariate Polynomials |
00C039 |
Reto Battaglia [Suisse] ; Werner Pfannhauser [Autriche] ; Michael Murkovic [Autriche] | Personalities |
00CD03 |
Gernot Salzer [Autriche] | Primal grammars and unification modulo a binary clause |
00D619 |
Ian C. Taylor [Autriche] | Using SPL to model ISO 9000 |
00EC43 |
Marijke Nefzger [Autriche] ; Jörg Kreuter [Suisse] ; Rolf Voges [Suisse] ; Ekke Liehl [Autriche] ; Rudolf Czok [Autriche] | Distribution and elimination of polymethyl methacrylate nanoparticles after peroral administration to rats |
00F031 |
R. Eier [Autriche] ; H. Will [Autriche] ; H. J. Stetter [Autriche] ; R. Hafner [Autriche] ; P. Meissl ; M. Brockhaus [Autriche] | Buchbesprechungen |
00F060 |
E. Schroll [Autriche] ; Erika Stepán [Autriche] | Zur Röntgenfluoreszenzanalyse geologischen Materials |